翻訳と辞書 Words near each other ・ Nice Guy Eddie ・ Nice Guy Johnny ・ Nice Guys ・ Nice Guys (album) ・ Nice Guys (song) ・ Nice Guys Finish First ・ Nice Guys Finish Last ・ Nice Guys Sleep Alone ・ Nice Ideas ・ Nice Is Different Than Good ・ Nice Jazz Festival ・ Nice Lawn Tennis Club ・ Nice metropolitan area ・ Nice model ・ Nice na Kokoroiki ・ Nice name ・ Nice Observatory ・ Nice Package ・ Nice People ・ Nice People (disambiguation) ・ Nice People (play) ・ Nice People (TV France) ・ Nice Place to Visit ・ Nice Price! (album) ・ Nice Ride Minnesota ・ Nice She Ain't ・ Nice Shoes ・ Nice Shootin' Cowboy ・ Nice subgroup ・ NICE Systems Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Nice name ： ウィキペディア英語版 Nice name In set theory, a nice name is used in forcing to impose an upper bound on the number of subsets in the generic model. It is used in the context of forcing to prove independence results in set theory such as Easton's theorem. ==Formal definition== Let $M\; \backslash models$ ZFC be transitive, a forcing notion in $M$, and suppose $G\; \backslash subseteq\; \backslash mathbb$ is generic over $M$. Then for any $\backslash mathbb$-name in $M$, $\backslash tau$, $\backslash eta$ is a nice name for a subset of $\backslash tau$ if $\backslash eta$ is a $\backslash mathbb$-name satisfying the following properties: (1) $\backslash textrm(\backslash eta)\; \backslash subseteq\; \backslash textrm(\backslash tau)$ (2) For all $\backslash mathbb$-names $\backslash sigma\; \backslash in\; M$, $\backslash$ forms an antichain. (3) (Natural addition): If $\backslash langle\backslash sigma,\; p\backslash rangle\; \backslash in\; \backslash eta$, then there exists $q\; \backslash geq\; p$ in $\backslash mathbb$ such that $\backslash langle\backslash sigma,\; q\backslash rangle\; \backslash in\; \backslash tau$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Nice name」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.